On the Λ-equations for Matching Control Laws *
نویسندگان
چکیده
We discuss matching control laws for underactuated systems. We previously showed that this class of matching control laws is completely charactarized by a linear system of first order partial differential equations for one set of variables (λ) followed by a linear system of first order PDEs for the second set of variables (g, V). Here we derive a new first order system of partial differential equations that encodes all compatibility conditions for the λ-equations. We give four examples illustrating different features of matching control laws. The last example is a system with two unactuated degrees of freedom that admits only basic solutions to the matching equations. There are systems with many matching control laws where only basic solutions are potentially useful. We introduce a rank condition indicating when this is likely to be the case. 1. Introduction. Effective procedures for designing control laws are very important in nonlinear control theory. Explicit analytic formulae for control laws play a role similar to explicit solutions to differential equations. Such formulae exist in only a few special cases, but those that exist serve as simple models to develop and test more general techniques. In this paper we discuss a class of full state feedback control laws for underactu-ated systems. In [5] we showed that this class of matching control laws is completely charactarized by a linear system of first order partial differential equations for one set of variables (λ) followed by a linear system of first order PDEs for the second set of variables (g, V). These equations always have a simple family of solutions which we call basic solutions. The system of equations for the first set of variables (λ-equations) is overdetermined. Here we derive a new first order system of partial differential equations that encodes all compatibility conditions for the λ-equations (we call these the ν-equations). If only one degree of freedom is unactuated, the solutions to all these systems of PDEs can be completely analyzed. It is often possible to get explicit formulae for the solutions to these equations. We also provide an example of a system with two unactuated degrees of freedom that has only basic solutions. There are systems with many matching control laws where only basic solutions are potentially useful. We write down a rank condition indicating when this is likely to be the case. During the last few years several researchers have investigated control laws in …
منابع مشابه
ar X iv : m at h . O C / 0 00 61 21 v 2 8 N ov 2 00 2 Matching , linear systems , and the ball and beam
A recent approach to the control of underactuated systems is to look for control laws which will induce some specified structure on the closed loop system. In this paper, we describe one matching condition and an approach for finding all control laws that fit the condition. After an analysis of the resulting control laws for linear systems, we present the results from an experiment on a nonline...
متن کاملar X iv : m at h / 00 06 12 1 v 2 [ m at h . O C ] 8 N ov 2 00 2 Matching , linear systems , and the ball and beam
A recent approach to the control of underactuated systems is to look for control laws which will induce some specified structure on the closed loop system. In this paper, we describe one matching condition and an approach for finding all control laws that fit the condition. After an analysis of the resulting control laws for linear systems, we present the results from an experiment on a nonline...
متن کاملSyntactic descriptions: a type system for solving matching equations in the linear λ-calculus
We introduce syntactic descriptions, an extended type system for the linear λ-calculus. With this type system checking that a linear λ-term normalizes to another one reduces to type-checking. As a consequence this type system can be seen as a formal tool to design matching algorithms. In that respect, solving matching equations becomes a combination of type inference and proof search. We presen...
متن کاملλ-Symmetry method and the Prelle-Singer method for third-order differential equations
In this paper, we will obtain first integral, integrating factor and λ-symmetry of third-order ODEs u ⃛=F(x,u,u ̇,u ̈). Also we compare Prelle -Singer (PS) method and λ-symmetry method for third-order differential equations.In this paper, we will obtain first integral, integrating factor and λ-symmetry of third-order ODEs u ⃛=F(x,u,u ̇,u ̈). Also we compare Prelle -Singer (PS) method and λ-symmetry m...
متن کاملSymmetry group, Hamiltonian equations and conservation laws of general three-dimensional anisotropic non-linear sourceless heat transfer equation
In this paper Lie point symmetries, Hamiltonian equations and conservation laws of general three-dimensional anisotropic non-linear sourceless heat transfer equation are investigated. First of all Lie symmetries are obtained by using the general method based on invariance condition of a system of differential equations under a prolonged vector field. Then the structure of symmetry ...
متن کامل